(0 12 3)(1 13 10)(2 9 4)(5 8 6 11 7)
ALLOWS (11/8)-SEQUENCE
1: (0 5 8)
(0 6 11 7 5 12 3)(1 13 10)(2 9 4)(8)
2: (3 11 7)
(0 6 11)(1 13 10)(2 9 4)(3 5 12)(7)(8)
3: (1 13 10)
(0 6 11)(1)(2 9 4)(3 5 12)(7)(8)(10)(13)
4: (0 6 11)
(0)(1)(2 9 4)(3 5 12)(6)(7)(8)(10)(11)(13)